bitkeeper revision 1.694 (40133166fMqipwBHlUP1QVHEO6EEOg)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Sun, 25 Jan 2004 03:00:54 +0000 (03:00 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Sun, 25 Jan 2004 03:00:54 +0000 (03:00 +0000)
commitb88b24c645cf013a9dad3f70ba4ef23369ad1191
treeeb4850a31db982eb5e506deae46198843e81846a
parent586dfe5b407d4feecd8407a70492ad813aaac2d2
bitkeeper revision 1.694 (40133166fMqipwBHlUP1QVHEO6EEOg)

Many files:
  From Kip Macy, we now are stricter when compiling the mini os.
14 files changed:
docs/style.tex
extras/mini-os/Makefile
extras/mini-os/h/hypervisor.h
extras/mini-os/h/lib.h
extras/mini-os/h/mm.h
extras/mini-os/h/os.h
extras/mini-os/kernel.c
extras/mini-os/lib/malloc.c
extras/mini-os/lib/math.c
extras/mini-os/lib/printf.c
extras/mini-os/lib/string.c
extras/mini-os/time.c
extras/mini-os/traps.c
xen/include/hypervisor-ifs/block.h